$\forall$$T$:Type, ${\it as}$:($T$ List). null(${\it as}$) $\in$ $\mathbb{B}$